A behavioral type system and its application in Ptolemy II
نویسندگان
چکیده
منابع مشابه
HyVisual: A Hybrid System Modeling Framework Based on Ptolemy II ?
HyVisual has a rigorous operational semantics described in [1]. A key property is that it internally uses superdense time, where signals are modeled as partial functions of the form f :R+ × N ⇀ V , where R+ is the non-negative real numbers and represents time, V is the value set (a data type, such as R), and N is the set of natural numbers. Continuous-time functions are total, whereas discrete-...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولconstruction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2004
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-004-0043-8